Exercise 5-5

  1. Draw a morphism \(3 \xrightarrow f 2\) and a morphism \(2 \xrightarrow g 4\) in \(\ref{FinSet as prop|\textbf{FinSet|referenced}}\)

  2. Draw \(f+g\)

  3. What is the natural composition rule for morphisms in \(\ref{FinSet as prop|\textbf{FinSet|referenced}}\)

  4. What are the identities in \(\ref{FinSet as prop|\textbf{FinSet|referenced}}\)

  5. Draw a symmetry map \(\sigma_{m,n}\) for some \(m,n\) in \(\ref{FinSet as prop|\textbf{FinSet|referenced}}\).

Solution(0)
  1. TODO